package domains;

import java.util.Set;

import controlFlowGraph.Expression;

public class AvailableExpressions extends AnalysisDomain {

	private Set<Expression> expressionSet;
	
	public AvailableExpressions(Set<Expression> info) {
		this.expressionSet = info;
	}
	
	public Set<Expression> getAvailExpr() {
		return this.expressionSet;
	}

	@Override
	public boolean equals(Object obj) {
		if (obj instanceof AvailableExpressions) {
			AvailableExpressions other = (AvailableExpressions) obj;
			return other.getAvailExpr().equals(this.getAvailExpr());
		}
		return false;
	}

	
	
}
